Automata for XML—A survey
نویسندگان
چکیده
منابع مشابه
Automata for XML - A survey
Since the arrival of XML as a data representation language, concepts from formal language theory like regular expressions, grammars and automata have been used for various purposes, e.g., as algorithm models for efficient evaluation of simple queries, as a proof tool, as a tool for static analysis and as an operational model with a clear semantics. Besides automata that read XML documents as st...
متن کاملLearning Automata - A Survey
Stochastic automata operating in an unknown random can be considered to show learning behavior. Tsypkin environment have been proposed earlier as models of learning. These [GT1] has recently argued that seemingly diverse problems automata update their action probabilities in accordance with the inputs . . . received from the environment and can improve their own performance inpa t rec i o idenf...
متن کاملDecision Problems for Timed Automata: A Survey
Finite automata and regular languages have been useful in a wide variety of problems in computing, communication and control, including formal modeling and verification. Traditional automata do not admit an explicit modeling of time, and consequently, timed automata [2] were introduced as a formal notation to model the behavior of real-time systems. Timed automata accept timed languages consist...
متن کاملTeam Automata for Security – A Survey – Maurice
In [33], Kleijn presented a survey of the use of team automata for the specification and analysis of phenomena from the field of computer supported cooperative work, in particular notions related to groupware systems. In this paper we present a survey of the use of team automata for the specification and analysis of some issues from the field of security. In particular, we show how team automat...
متن کاملTeam Automata for Security: - A Survey -
In [30], Kleijn presented a survey of the use of team automata for the specification and analysis of phenomena from the field of computer supported cooperative work, in particular notions related to groupware systems. In this paper we present a survey of the use of team automata for the specification and analysis of some issues from the field of security.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2007
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2006.10.003